| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/time_conversion_scenario.utz (time_conversion_scenario.utt), line 3292 |
| occurence |
| scenario |
time_conversion_scenario |
| specification function |
ctime_spec() |
| parameter value |
CallContext context = [pid=7529,thr=b74646c0] |
| parameter value |
TimeTObj * @clock = 200000 |
| parameter value |
TimeTObj * clock = 200000 |
| return value |
(CString *) Sat·Jan··3·10:33:20·1970 |
coverage
& branch |
C_Priority
Process with high priority |
| properties |
| REQ failed |
ctime.01 |
| kind |
POSTCONDITION_FAILED |